2841. Teach yourself electronic computers
پدیدآورنده : Westwater, F L
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers
رده :
QA
76
.
5
.
W48
1967
2842. Technical et science informatiques : TSI
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic data processing - Periodicals , Electronic digital computers - Periodicals , Programming )Electronic computers( - Periodicals
رده :
QA
75
.
5
.
T43
1992
2843. #Technical reference
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Electronic digital computers-- Design and construction
رده :
#
TK
،#.
I574
،#
1983
2844. Technique de la Programmation
پدیدآورنده : / G. Hardouin- Mercier
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
028
Ha-T
2845. Techniques de progrumation (Computer Programming techniques)
پدیدآورنده : / Theodore G. Scott
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
Sc-T
2846. Techniques in computer programming
پدیدآورنده : SHERMAN,PHILIP M
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , FORTRAN )COMPUTER PROGRAM LANGUAGE(
رده :
QA
76
.
5
.
S472
2847. Techniques of Program Structure and design
پدیدآورنده : / Edward Yourdon
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
Y81t
2848. Techniques of program structure and design
پدیدآورنده : Yourdon, Edward
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
6
.
Y68
2849. Teletraffic analysis and computer performance evaluation : proceedings of the international seminar, held at the Centre for Mathematics and Computer Science )CWI( June 2- 6, 1986, Amsterdam, the Netherlands
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Telecommunication- Traffic- Congresses,، Electronic digital computers- Evaluation- Congresses
2850. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T4414
1994
2851. Temporal logic : mathematical foundations and computational aspects
پدیدآورنده : Gabbay, Dov M.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming , Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
G27
1994
2852. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
2853. Temporal logic of programs
پدیدآورنده : KROGER,FRED
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
6
.
K753
2854. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
2855. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
2856. The Application of digital computers to structural engineering problems
پدیدآورنده : / D. M. Brotton
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Structural analysis (engineering),Electronic data processing - Civil engineering,Electronic digital computers
رده :
TA645
.
B75
2857. The Architecture and engineering of digital computer complexes
پدیدآورنده : Beizer, Boris
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Electronic digital computers
رده :
QA
76
.
5
.
B37
